A High-Level Modeling Language for the Efficient Design, Implementation, and Testing of Android Applications

摘要

Developing mobile applications remains difficult, time consuming, anderror-prone, in spite of the number of existing platforms and tools. In thispaper, we define MoDroid, a high-level modeling language to ease thedevelopment of Android applications. MoDroid allows developing modelsrepresenting the core of applications. MoDroid provides Android programmerswith the following advantages: (1) Models are built using high-level primitivesthat abstract away several implementation details; (2) It allows the definitionof interfaces between models to automatically compose them; (3) Java nativeandroid can be automatically generated along with the required permissions; (4)It supports efficient model-based testing that operates on models. MoDroid isfully implemented and was used to develop several non-trivial Androidapplications.